الكشف عن بلونكي2 جولديبير: أسرع مُجمّع إثباتات على حقل الدب الصغير

نحن متحمسون لمشاركة أحدث تطوراتنا في مجال توليد البراهين المشفرة وتجميعها مع تقديم Plonky2 Goldibear. توفر أنظمتنا الجديدة تحسينات متطورة في الأداء، خاصةً في تركيب البراهين العودية على حقل BabyBear.

مع تقديم Plonky2 Goldibear، قمنا أيضًا بتطوير إصدار جديد من Risclonky2 لم يعد يتطلب محاكاة العمليات الحسابية حيث يعمل مباشرةً على حقل BabyBear. يسمح ذلك بالتحقق من براهين Risc0 وتجميعها بكفاءة عالية، مما يمهد الطريق لتطوير تطبيقات حماية بيانات المستخدم القابلة للتطوير بشكل كبير.

فيما يلي تحليل مفصّل لنتائج المعيار الذي يُظهر أن Plonky2 Goldibear أسرع 77 مرة من Risc0 في تجميع البراهين على Risc0 على وحدة المعالجة المركزية، ولا يزال أسرع بـ 8.5 مرة مقارنةً بمبرمج Risc0 لوحدة معالجة الرسومات متفوقًا عليه حتى من حيث فعالية التكلفة. 

أبرز ملامح الأداء الرئيسي لبلونكي2 جولديبير

• تجميع دليلين على حقل بيبي بير: 520 مللي ثانية
  
  
• تغليف برهان RISC0 في برهان بلونكي2 جولديبير 900 مللي ثانية
  
  
• إجمالي 1024 إثباتات Risc0 Risc0: 6.10 ثانية ***

الجدول المعياري

الأجهزة:

وحدة المعالجة المركزية: الجيل الحادي عشر من Intel(R) Core(TM) i9-11900K من Intel(R) Core(TM) i9-11900K

وحدة معالجة الرسومات: NVIDIA GeForce RTX 4090 من NVIDIA

التعاريف:

* المقصود بالتجميع الأصلي هو تجميع البراهين من نفس نوع أنظمة الإثبات المستخدمة (مثل براهين Risc0 المجمعة باستخدام Risc0، وبراهين Plonky2 المجمعة باستخدام Plonky2). بمعنى آخر لا يحتاج إلى تجميع إضافي.

** وقت تجميع الحد الأدنى النظري النظري مع الأخذ في الاعتبار الإثبات المتوازي وتكرار البراهين التي يتم إجراؤها في بنية شبيهة بالشجرة. تكون البراهين المصدرية أصلية في المُثبت (لا حاجة إلى التفاف).

*** زمن تجميع الحد الأدنى النظري النظري مع الأخذ في الاعتبار الإثبات المتوازي وتكرار البراهين التي يتم إجراؤها في بنية تشبه الشجرة. البراهين المصدرية هي براهين Risc0 (يلزم الالتفاف باستخدام Plonky2 Goldibear).

نقدم لكم بلونكي 2 جولديبير

Plonky2 Goldibear هو أحدث نسخة من بروفيل Plonky2، والذي يدعم توليد البراهين على كل من حقلي Goldilocks وBabyBear. تسمح هذه المرونة بتوليد دارات تعمل بكفاءة في إطار BabyBear، مما يؤدي إلى تحسينات في الأداء وتطبيقات تشفير أكثر تنوعًا.

البراهين التكرارية الفعالة على بيبي بير

مع Plonky2 Goldibear، قدمنا بوابات وأدوات محسّنة لتمكين تركيب البراهين العودية الفعالة على حقل BabyBear. تسمح لنا البراهين التكرارية بتجميع براهين متعددة في برهان واحد، مما يقلل من تعقيد التحقق ويحسن الأداء. يمثل دعم BabyBear علامة فارقة في قدراتنا البرهانية العودية.

التكامل مع بلونكي3

يستفيد Plonky2 Goldibear من التطورات التي تم إجراؤها في Plonky3، خاصةً في تطبيقات حساب المجال والتجزئة البدائية. من خلال دمج تحسينات Plonky3، يمكن ل Plonky2 Goldibear الاستفادة الكاملة من التحسينات المستقبلية، مما يجعله قابلاً للتكيف والتوافق مع المستقبل.

تغليف برهان RISC0 (Risclonky2)

بالإضافة إلى هذه التطورات، قمنا بتطوير نسخة جديدة من مكتبة Risclonky2، والتي تسمح بتغليف براهين RISC0 مباشرةً في براهين Plonky2 Goldibear على حقل BabyBear. تتمثل إحدى المزايا الرئيسية لهذه المكتبة في أنها تلغي الحاجة إلى محاكاة العمليات الحسابية، مما يقلل بشكل كبير من الوقت اللازم للتغليف. على وجه التحديد، يستغرق التفاف برهان RISC0 الآن 900 مللي ثانية فقط.

يمكّننا هذا الاختراق من تجميع آلاف البراهين RISC0 في فترة زمنية قصيرة جداً. على سبيل المثال، يُقدّر أن يستغرق تجميع 1024 برهان RISC0 عبر BabyBear حوالي 6 ثوانٍ. وبالمقارنة، فإن إجراء نفس التجميع باستخدام RISC0 وحده سيستغرق وقتًا أطول بكثير، حيث يستغرق تجميع برهانين فقط من براهين RISC0 على نفس الجهاز 40 ثانية. وبالتالي سيستغرق تجميع 1024 برهان RISC0 باستخدام الطريقة الأصلية حوالي 400 ثانية.

التكامل في بروتوكول سناركتور

يسعدنا أن نعلن أنه سيتم دمج بلونكي2 جولديبير في تنفيذ بروتوكول SNARKtor. سيوفر هذا التكامل تعزيزاً إضافياً في الأداء ويتيح تفاعلات أكثر كفاءة مع إطار عمل RISC0، مما يعزز قدرات حلول التشفير لدينا.

ما التالي

نحن نعمل حاليًا على تسريع أجهزة بلونكي2 جولديبير، مما سيعزز سرعة تجميع البراهين بشكل أكبر، مما يجعلها أسرع وأكثر كفاءة.
بالتوازي مع ذلك، نعمل أيضاً على تنفيذ أداة التحقق من براهين Polygon Hermez zkEVM، والتي ستتيح التجميع السريع لإثباتات Polygon zkEVM المتراكمة، مما يفتح إمكانيات جديدة لتطبيقات آمنة وقابلة للتطوير.

الخاتمة

يمثل كل من Plonky2 Goldibear وRisclonky2 قفزة كبيرة إلى الأمام في توليد البراهين وتجميع البراهين العودية وكفاءة التشفير. مع القدرة على العمل على كلٍ من حقلي BabyBear وGoldilocks، والتكامل السلس مع RISC0، أصبح بإمكاننا الآن تقديم توليد براهين أسرع، وتكرار أكثر كفاءة، وتجميع عالي الأداء على نطاق واسع.

ستلعب هذه التطورات دورًا رئيسيًا في تطوير حلول التشفير الخاصة بنا والحفاظ على ميزتنا التنافسية في مجال تقنيات إثبات المعرفة الصفرية سريع التطور.

شكر خاص لرئيس قسم تقنيات المعرفة الصفرية لدينا، ألبرتو غاروفولو، وموظف التشفير لدينا، دانييلي دي توليو، على مساهماتهما القيّمة.

ملحوظة: مستودعات بلونكي2 جولديبير وريسلونكي2 خاصة حاليًا، مع وجود خطط للإصدار العام في المستقبل القريب. للمهتمين بمزيد من التفاصيل أو فرص التعاون المحتملة، يرجى التواصل معنا عبر البريد الإلكتروني marketing@telosfoundation.io.

هذا الإعلان هو جزء من حملتنا "الكشف عن قفزة النمو التالية ل Telos"، حيث سنشارك التحديثات الرئيسية القادمة. نحن ملتزمون بإبقاء مجتمعنا على اتصال بكل ما نبنيه خلف الكواليس. ترقبوا المزيد من ألفا!

‍